Réflexions sur le thème de la cohérence

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementation qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation ...

Modélisation de la propagation de l'information sur le Web : de l'extraction des données à la simulation

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Sur Le Développement Spectral De La Formule Des Traces D’arthur-selberg Sur Les Corps De Fonctions

Gestion transactionnelle de la reprise sur erreurs dans le deploiement

With the development of the networks and the Internet, the problems of automated deployment on broad scale became increasingly crucial. Software deployment is a complex process covering several activities going from the configuration to the retirement of a software product. During the execution of a deployment process, exceptions can be met which put the site in an incoherent state. To solve th...